Sam

Results: 11151



#Item
231Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Add to Reading List

Source URL: www.eecs.northwestern.edu

- Date: 2017-05-11 23:26:18
    232Non-standard Analysis Sam Marsh University of Sheffield Infinitesimals

    Non-standard Analysis Sam Marsh University of Sheffield Infinitesimals

    Add to Reading List

    Source URL: sam-marsh.staff.shef.ac.uk

    - Date: 2017-03-31 10:19:18
      233COUNTABILITY AND PERMUTATIONS 5 minute review. Recap the definition of a countable set, that is a set in bijective correspondence with N = {1, 2, 3, . . .}, and that this is equivalent to the set having a presentation {

      COUNTABILITY AND PERMUTATIONS 5 minute review. Recap the definition of a countable set, that is a set in bijective correspondence with N = {1, 2, 3, . . .}, and that this is equivalent to the set having a presentation {

      Add to Reading List

      Source URL: sam-marsh.staff.shef.ac.uk

      - Date: 2017-03-31 10:19:18
        234MAS114: Numbers and Groups, Semester 2 Module Information • Contact details. Dr Sam Marsh (Room G9, Hick Building). • Office hour. FILL THIS IN HERE: Friday 12, or see the course website. No appointment necessary, j

        MAS114: Numbers and Groups, Semester 2 Module Information • Contact details. Dr Sam Marsh (Room G9, Hick Building). • Office hour. FILL THIS IN HERE: Friday 12, or see the course website. No appointment necessary, j

        Add to Reading List

        Source URL: sam-marsh.staff.shef.ac.uk

        - Date: 2018-01-31 11:27:16
          235MAS115: Mathematical Investigation Skills Dr Sam Marsh , Room G09, extn 23792 Marcus Fabius Quintilian

          MAS115: Mathematical Investigation Skills Dr Sam Marsh , Room G09, extn 23792 Marcus Fabius Quintilian

          Add to Reading List

          Source URL: mas115.group.shef.ac.uk

          - Date: 2017-09-27 12:42:24
            236Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

            Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

            Add to Reading List

            Source URL: drops.dagstuhl.de

            - Date: 2017-05-03 03:13:43
              237Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen

              Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen

              Add to Reading List

              Source URL: www.ccs.neu.edu

              - Date: 2012-11-26 16:43:36
                238Compiling Tree Transforms to Operate on Packed Representations Michael Vollmer1 , Sarah Spall2 , Buddhika Chamith3 , Laith Sakka4 , Chaitanya Koparkar5 , Milind Kulkarni6 , Sam Tobin-Hochstadt7 , and Ryan R. Newton8 1

                Compiling Tree Transforms to Operate on Packed Representations Michael Vollmer1 , Sarah Spall2 , Buddhika Chamith3 , Laith Sakka4 , Chaitanya Koparkar5 , Milind Kulkarni6 , Sam Tobin-Hochstadt7 , and Ryan R. Newton8 1

                Add to Reading List

                Source URL: recurial.com

                - Date: 2017-06-11 19:53:31
                  239arXiv:1701.08230v4 [cs.CY] 10 JunAlgorithmic decision making and the cost of fairness Sam Corbett-Davies Emma Pierson

                  arXiv:1701.08230v4 [cs.CY] 10 JunAlgorithmic decision making and the cost of fairness Sam Corbett-Davies Emma Pierson

                  Add to Reading List

                  Source URL: arxiv.org

                  - Date: 2017-06-12 20:15:42
                    240ALICE, BOB AND ELLIPTIC CURVES SAM MARSH ABOUT THE TALK The talk concerned the sending of messages securely between two parties, Alice (A) and Bob (B) say, in such a way that an unwanted eavesdropper, Eve (V), cannot gai

                    ALICE, BOB AND ELLIPTIC CURVES SAM MARSH ABOUT THE TALK The talk concerned the sending of messages securely between two parties, Alice (A) and Bob (B) say, in such a way that an unwanted eavesdropper, Eve (V), cannot gai

                    Add to Reading List

                    Source URL: mas115.group.shef.ac.uk

                    - Date: 2017-10-25 11:27:18